ファイル圧縮ツール gzipのアルゴリズム